package ubadbtools.deadlockAnalyzer.scheduleRecords;

import ubadbtools.deadlockAnalyzer.exceptions.*;
import ubadbtools.deadlockAnalyzer.transactions.*;

public class AbortRecord extends ScheduleRecord
{
	public AbortRecord(String transaction)
	{
		this.transaction = transaction;
	}
	
	public String toString()
	{
		return "ABORT"; 
	}

	protected boolean okPrecondition() {
		return true;
	}

	protected void setPoscondition() {
		
	}
	
	protected TRXState getNextTRXState() throws TransitionException {
		return getTRX().getTRXState().abort();
	}
	

	
}
